Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Speed up CI #752

Merged
merged 2 commits into from
Dec 13, 2024
Merged

Speed up CI #752

merged 2 commits into from
Dec 13, 2024

Conversation

matthiasgoergens
Copy link
Collaborator

@matthiasgoergens matthiasgoergens commented Dec 13, 2024

We are spending a lot of time restoring our cache on our self-hosted runners. So let's try offloading some of the CI work back to GitHub, specifically hand back lints and tests, but keep integration tests with our runner.

Also:

  • upgrade our actions
  • cancel previous runs, when new commits are pushed

We are spending a lot of time restoring our cache on our self-hosted
runners.  So let's try offloading some of the CI work back to GitHub.

Also upgrade our actions.
@matthiasgoergens matthiasgoergens force-pushed the matthias/send-lints-to-github branch from a04c4f8 to ef3e263 Compare December 13, 2024 08:56
@matthiasgoergens matthiasgoergens changed the title Run lints job on GitHub's runners Speed up CI Dec 13, 2024
@matthiasgoergens matthiasgoergens added this pull request to the merge queue Dec 13, 2024
Merged via the queue into master with commit 0a64371 Dec 13, 2024
4 checks passed
@matthiasgoergens matthiasgoergens deleted the matthias/send-lints-to-github branch December 13, 2024 09:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants